graph theory:quotient graph